The Laws of Natural Deduction in Inference by DNA Computer
نویسندگان
چکیده
منابع مشابه
The Laws of Natural Deduction in Inference by DNA Computer
We present a DNA-based implementation of reaction system with molecules encoding elements of the propositional logic, that is, propositions and formulas. The protocol can perform inference steps using, for example, modus ponens and modus tollens rules and de Morgan's laws. The set of the implemented operations allows for inference of formulas using the laws of natural deduction. The system can ...
متن کاملstudy of cohesive devices in the textbook of english for the students of apsychology by rastegarpour
this study investigates the cohesive devices used in the textbook of english for the students of psychology. the research questions and hypotheses in the present study are based on what frequency and distribution of grammatical and lexical cohesive devices are. then, to answer the questions all grammatical and lexical cohesive devices in reading comprehension passages from 6 units of 21units th...
a study of the fifth child and ben in the world by doris lessing in the light of julia kristevas psychoanalytic concepts
این مطالعه به بررسی عوامل روانشناختی کریستوادردو رمان دوربس لسینگ،فرزندبنجم و بن دردنیای واقعی می بردازد.موفقیت یا شکست کاراکترهادر تکمیل شکست تتیزی یه کمک بدر وهم از مهم ترین دغدغه محقق می باشد.به بررسی تحلیل روانشناختی تمامی کاراکترها خصوصا بن برداخته و به دنبال نشانه هایی از جامعه شیشه ای کریستوا می باشد.
15 صفحه اولcontrol of the optical properties of nanoparticles by laser fields
در این پایان نامه، درهمتنیدگی بین یک سیستم نقطه کوانتومی دوگانه(مولکول نقطه کوانتومی) و میدان مورد مطالعه قرار گرفته است. از آنتروپی ون نیومن به عنوان ابزاری برای بررسی درهمتنیدگی بین اتم و میدان استفاده شده و تاثیر پارامترهای مختلف، نظیر تونل زنی(که توسط تغییر ولتاژ ایجاد می شود)، شدت میدان و نسبت دو گسیل خودبخودی بر رفتار درجه درهمتنیدگی سیستم بررسی شده اشت.با تغییر هر یک از این پارامترها، در...
15 صفحه اولInference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner
There are very few reasoners which combine natural deduction and subsumption reasoning, and there are none which do so while supporting concurrency. Inference Graphs are a graph-based inference mechanism using an expressive first– order logic, capable of subsumption and natural deduction reasoning using concurrency. Evaluation of concurrency characteristics on a combination natural deduction an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Scientific World Journal
سال: 2014
ISSN: 2356-6140,1537-744X
DOI: 10.1155/2014/834237